Mutual exclusion

Results: 185



#Item
41

Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses Pedro LOPEZ-GARCIA1,2 , Francisco BUENO3 and Manuel HERMENEGILDO1,3 1

Add to Reading List

Source URL: clip.dia.fi.upm.es

- Date: 2009-08-18 19:10:21
    42

    A Study on the Distributed k-Mutual Exclusion Problem by Hirotsugu Kakugawa February 25, 1992

    Add to Reading List

    Source URL: www-masu.ist.osaka-u.ac.jp

    Language: English - Date: 2012-01-30 04:04:29
      43

      COMPUTER SCIENCE TRIPOS Part IB – 2012 – Paper 5 7 Concurrent and Distributed Systems (SMH) (a) What is the relationship between critical sections and mutual exclusion? [2 marks]

      Add to Reading List

      Source URL: www.cl.cam.ac.uk

      Language: English - Date: 2014-06-09 10:18:42
        44

        A Token-Based Distributed Group Mutual Exclusion Algorithm with Quorums Hirotsugu Kakugawa, Member, IEEE, and Sayaka Kamei, Member, IEEE, and Toshimitsu Masuzawa, Member, IEEE Abstract— The group mutual exclusion prob

        Add to Reading List

        Source URL: www-masu.ist.osaka-u.ac.jp

        Language: English - Date: 2009-09-02 22:32:49
          45Computer programming / Monitor / Concurrent Pascal / Lock / Deadlock / Mutual exclusion / Mesa / Semaphore / Parallel computing / Concurrency control / Computing / Software engineering

          Experience with Processes and Monitors in Mesa1 Butler W. Lampson Xerox Palo Alto Research Center David D. Redell Xerox Business Systems

          Add to Reading List

          Source URL: www.scs.stanford.edu

          Language: English - Date: 2002-01-10 22:31:41
          46Lock / Mutual exclusion / Parallel computing / Computer monitor / Electronics / Concurrency control / Monitor / Computing

          COMPUTER SCIENCE TRIPOS Part IB – 2014 – Paper 5 8 Concurrent and Distributed Systems (RNW) (a) Monitors are a programming primitive linking data with two synchronization types: mutual exclusion and condition synchro

          Add to Reading List

          Source URL: www.cl.cam.ac.uk

          Language: English - Date: 2014-06-09 10:18:43
          47Process / Concurrent computing / Concurrency / Memory management / Paging / Mutual exclusion / Thread / Lock / File system / Computing / Virtual memory / Concurrency control

          Name: Final Exam CS402 14 May 2013 You have 2 hrs. for this exam. The exam has 8 pages. There are 100 possible points. (Note that question 10 is worth 10 points.) Show all your work for partial credit. Definitions

          Add to Reading List

          Source URL: www.isi.edu

          Language: English - Date: 2013-05-16 00:56:25
          48Semaphore / Critical section / Thread / Mutual exclusion / Lock / Struct / Synchronization / Circular buffer / Multiprocessing / Concurrency control / Computing / Computer programming

          ,ch05.7955 Page 106 Friday, January 21, :41 AM CHAPTER 5 Chapter 5

          Add to Reading List

          Source URL: lwn.net

          Language: English - Date: 2005-03-14 13:07:46
          49Mutual exclusion / Self-stabilization / Distributed algorithm / Distributed computing / Algorithm / Parallel computing / Mathematics / Applied mathematics / Fault-tolerant computer systems / Concurrency control / Computing

          A Study on Distributed k-Mutual Exclusion Algorithms Hirotsugu Kakugawa February 1995

          Add to Reading List

          Source URL: www-masu.ist.osaka-u.ac.jp

          Language: English - Date: 2013-07-20 11:10:43
          50Data management / Software bug / Lock / Linearizability / Parallel computing / Thread / Serializability / Mutual exclusion / Kernel / Concurrency control / Computing / Transaction processing

          AI: A Lightweight System for Tolerating Concurrency Bugs Mingxing Zhang1 Yongwei Wu1 Shan Lu2,∗ Shanxiang Qi3,† Jinglei Ren1 Weimin Zheng1 1 Tsinghua National Laboratory for Information Science and Technology, Tsing

          Add to Reading List

          Source URL: people.cs.uchicago.edu

          Language: English - Date: 2014-08-19 10:13:59
          UPDATE